QuantUM: Quantitative Safety Analysis of UML Models
نویسندگان
چکیده
منابع مشابه
QuantUM: Quantitative Safety Analysis of UML Models
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day wor...
متن کاملQuantitative Analysis of UML Models
When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day wor...
متن کاملQuantitative Analysis of UML Statechart Models of Dependable Systems
The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRN). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented ...
متن کاملAnnotating UML Models with Non-functional Properties for Quantitative Analysis
This work is motivated by the recent Request For Proposals issued by OMG for a new UML Profile named “Modeling and Analysis of Real-Time and Embedded systems”. The paper describes first some domain concepts for annotating Non-Functional Properties (NFPs), whose focus is on supporting temporal verification of UML-based models. Particular emphasis is given to schedulability and performance analys...
متن کاملUML-Extensions for Quantitative Analysis
The Uni ed Modeling Language (UML) nds more and more applications. It is not only used for software development but also for modeling systems with dynamic behavior (e.g. Flexible Manufacturing Systems (FMS), or Business Process Modeling). While the static diagrams of UML were changed marginal in the latest versions of UML, the dynamic diagrams need still to be improved. For modeling truly the d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.57.2